{% extends "base.html" %}

{% load gaev_extras %}

{% block content %}

<div>Results of selected provers on selected problems:</div>

<table>
<tr>
<th>Problem</th>
<th>Status</th>
{% for prover in provers %}
	<th>
	{{prover.caption}}
	</th>
{% endfor %}
</tr>

{% for problem in problems %}
<tr>
	<th>{{problem.caption}}</th>
	<td>{{problem.status}}</td>
	{% for prover in provers %}
		<td>
		{% for result in results|attr:problem.short|attr:prover.short %}
			<span class="{{ result.type }}">
			<a href="{{ result.url }}" title="{{ result.caption }}">{{ result.time }}</a>
			</span>
		{% endfor %}
		</td>
	{% endfor %}

</tr>
{% endfor %}
</table>

{% endblock %}
